Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
311	SenseSpotting: Never let your parallel data tie you to an old domain Marine Carpuat1 , Hal Daum´e III2 , Katharine Henry3 , Ann Irvine4 , Jagadeesh Jagarlamudi5 , Rachel Rudinger6 1 National Research Council Canada, mar Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2013-07-25 09:24:48 Philosophical logic Lexical semantics Semantics Dichotomies Computational linguistics Word-sense disambiguation Type–token distinction ATS Function Linguistics Logic Science
312	Proceedings of the Australasian Language Technology Workshop 2007, pages[removed]Extending CCGbank with quotes and multi-modal CCG Daniel Tse and James R. Curran School of Information Technologies University of Sydney Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2007-11-28 01:01:08 Science Grammar Combinatory categorial grammar Combinatory logic Categorial grammar Treebank Parsing Mark Steedman Formal grammar Linguistics Formal languages Computational linguistics
313	The Life and Death of Discourse Entities: Identifying Singleton Mentions Christopher Potts Marie-Catherine de Marneffe Marta Recasens Linguistics Department Linguistics Department Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2013-03-26 02:55:07 Science Predicate logic Computational linguistics Grammar Natural language processing Coreference Named-entity recognition Anaphora Word-sense disambiguation Linguistics Semantics Logic
314	An Algorithm for Computing the Restriction Scaffold Assignment Problem in Computational Biology Justin Colannino Godfried Toussaint School of Computer Science Add to Reading List Source URL: www-cgrl.cs.mcgill.ca Language: English - Date: 2005-07-11 16:19:18 Quantum mechanics Linear temporal logic Mathematics Function Functional analysis
315	Artificial Intelligence and Literary Creativity Inside the Mind of Brutus, a Storytelling Machine Selmer Bringsjord David Ferrucci Add to Reading List Source URL: kryten.mm.rpi.edu Language: English - Date: 2004-07-08 11:19:52 Computational creativity Selmer Bringsjord Marcus Junius Brutus the Younger Mind Julius Caesar Logic Bluto Brutus Science Creativity Artificial intelligence
316	Microsoft Word - frontMatter_9852.doc Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2008-11-26 07:42:22 Information retrieval Natural language processing Linguistics James Curran Australasian Language Technology Association Text Retrieval Conference Question answering Open domain question answering Logic programming Computational linguistics Science Information science
317	Algorithms for Nearest Neighbors Background and Two Challenges Yury Lifshits Steklov Institute of Mathematics at St.Petersburg http://logic.pdmi.ras.ru/~yura Add to Reading List Source URL: yury.name Language: English - Date: 2007-12-08 06:42:12 Search algorithms Computational statistics K-nearest neighbor algorithm Plagiarism detection Coding theory Pattern recognition Statistical classification Nearest neighbor search Machine learning Artificial intelligence Information science
318	Explains for the first time how “computing with words” can aid in making subjective judgments • Map word-data with its inherent uncertainties into an IT2 FS that captures these uncertainties • Use uncertainty mea Add to Reading List Source URL: www.cs.utep.edu Language: English - Date: 2010-04-26 23:44:23 Artificial intelligence Logic in computer science Science Perceptual computing Computing with words and perceptions Lotfi A. Zadeh Fuzzy control system Fuzzy set Computational intelligence Fuzzy logic Logic Mathematical logic
319	Application of Multiple Artificial Intelligence Techniques for an Aircraft Carrier Landing Decision Support Tool Robert A. Richards Stottler Henke Associates, Inc. (SHAI[removed]South Amphlett Blvd., Suite 350 San Mateo, C Add to Reading List Source URL: www.stottlerhenke.com Language: English - Date: 2002-01-28 10:20:40 Aircraft carriers Science Neural networks Cybernetics Computational neuroscience Landing Signal Officer Neuro-fuzzy Fuzzy control system Optical landing system Logic Artificial intelligence Fuzzy logic
320	Computational Creativity Autumn School Lecture 1 Introduction to Computational Creativity Add to Reading List Source URL: ccg.doc.gold.ac.uk Language: English - Date: 2013-09-18 13:05:30 Problem solving Computational creativity Reasoning Reasoning system Creativity Logic programming Planner Solver Book:Knowledge-Based Engineering Artificial intelligence Automated theorem proving Science

UPDATE